As noted in 1962 by Timothy Smiley, if Aristotle’s logic is faithfully translated into modern symbolic logic, the fit is exact. If categorical sentences are translated into many-sorted logic MSL according to Smiley’s method or the two other methods presented here, an argument with arbitrarily many premises is valid according to Aristotle’s system if and only if its translation is valid according to modern standard many-sorted logic. As William Parry observed in 1973, this result can be proved (...) using my 1972 proof of the completeness of Aristotle’s syllogistic. (shrink)

Previous research has suggested that bodily signals from internal organs are associated with diverse cortical and subcortical processes involved in sensory-motor functions, beyond homeostatic reflexes. For instance, a recent study demonstrated that the preparation and execution of voluntary actions, as well as its underlying neural activity, are coupled with the breathing cycle. In the current study, we investigated whether such breathing-action coupling is limited to voluntary motor action or whether it is also present for mental actions not involving any overt (...) bodily movement. To answer this question, we recorded electroencephalography (EEG), electromyography (EMG), and respiratory signals while participants were conducting a voluntary action paradigm including self-initiated motor execution (ME), motor imagery (MI), and visual imagery (VI) tasks. We observed that the voluntary initiation of ME, MI, and VI are similarly coupled with the respiration phase. In addition, EEG analysis revealed the existence of readiness potential (RP) waveforms in all three tasks (i.e., ME, MI, VI), as well as a coupling between the RP amplitude and the respiratory phase. Our findings show that the voluntary initiation of both imagined and overt action is coupled with respiration, and further suggest that the breathing system is involved in preparatory processes of voluntary action by contributing to the temporal decision of when to initiate the action plan, regardless of whether this culminates in overt movements. -/- . (shrink)

Neural activity varies continually from moment to moment. Such temporal variability (TV) has been highlighted as a functionally specific brain property playing a fundamental role in cognition. We sought to investigate the mechanisms involved in TV changes between two basic behavioral states, namely having the eyes open (EO) or eyes closed (EC) in vivo in humans. To these ends we acquired BOLD fMRI, ASL, and [18F]-fluoro-deoxyglucose PET in a group of healthy participants (n = 15), along with BOLD fMRI and (...) [18F]-flumazenil PET in a separate group (n = 19). Focusing on an EO- vs EC-sensitive region in the occipital cortex (identified in an independent sample), we show that TV is constrained in the EO condition compared to EC. This reduction is correlated with an increase in energy consumption and with regional GABAA receptor density. This suggests that the modulation of TV by behavioral state involves an increase in overall neural activity that is related to an increased effect from GABAergic inhibition in addition to any excitatory changes. These findings contribute to our understanding of the mechanisms underlying activity variability in the human brain and its control. (shrink)

Neurovascular coupling (NVC), the transient regional hyperemia following the evoked neuronal responses, is the basis of blood oxygenation level-dependent techniques and is generally adopted across physiological conditions, including the intrinsic resting state. However, the possibility of neurovascular dissociations across physiological alterations is indicated in the literature. To examine the NVC stability across sleep–wake states, we used electroencephalography (EEG) as the index of neural activity and functional magnetic resonance imaging (fMRI) as the measure of cerebrovascular response. Eight healthy adults were recruited (...) for simultaneous EEG-fMRI recordings in nocturnal sleep. We compared the cross-modality (EEG vs. fMRI) consistency of functional indices (spectral amplitude and functional connectivity) among five states of wakefulness and sleep (state effect). We also segregated the brain into three main partitions (anterior, middle and posterior) for spatial assessments (regional effect). Significant state effects were found on δ, α and fMRI indices and regional effects on the α and fMRI indices. However, the cross-state EEG changes in spectral amplitude and functional connectivity did not consistently match the changes in the fMRI indices across sleep–wake states. In spectral amplitude, the δ band peaked at the N3 stage for all brain regions, while the fMRI fluctuation amplitude peaked at the N2 stage in the central and posterior regions. In regional connectivity, the inter-hemispheric connectivity of the δ band peaked at the N3 stage for all regions, but the bilateral fMRI connectivity showed the state changes in the anterior and central regions. The cross-modality inconsistencies across sleep–wake states provided preliminary evidence that the neurovascular relationship may not change in a linear consistency during NREM sleep. Thus, caution shall be exercised when applying the NVC presumption to investigating sleep/wake transitions, even among healthy young adults. (shrink)

Objective Manic and depressive phases of bipolar disorder (BD) show opposite psychomotor symptoms. Neuronally, these may depend on altered relationships between sensorimotor network (SMN) and subcortical structures. The study aimed to investigate the functional relationships of SMN with substantia nigra (SN) and raphe nuclei (RN) via subcortical-cortical loops, and their alteration in bipolar mania and depression, as characterized by psychomotor excitation and inhibition. -/- Method In this resting-state functional magnetic resonance imaging (fMRI) study on healthy (n = 67) and BD (...) patients (n = 100), (1) functional connectivity (FC) between thalamus and SMN was calculated and correlated with FC from SN or RN to basal ganglia (BG)/thalamus in healthy; (2) using an a-priori-driven approach, thalamus-SMN FC, SN-BG/thalamus FC, and RN-BG/thalamus FC were compared between healthy and BD, focusing on manic (n = 34) and inhibited depressed (n = 21) patients. -/- Results (1) In healthy, the thalamus-SMN FC showed a quadratic correlation with SN-BG/thalamus FC and a linear negative correlation with RN-BG/thalamus FC. Accordingly, the SN-related FC appears to enable the thalamus-SMN coupling, while the RN-related FC affects it favoring anti-correlation. (2) In BD, mania showed an increase in thalamus-SMN FC toward positive values (ie, thalamus-SMN abnormal coupling) paralleled by reduction of RN-BG/thalamus FC. By contrast, inhibited depression showed a decrease in thalamus-SMN FC toward around-zero values (ie, thalamus-SMN disconnection) paralleled by reduction of SN-BG/thalamus FC (and RN-BG/thalamus FC). The results were replicated in independent HC and BD datasets. -/- Conclusions These findings suggest an abnormal relationship of SMN with neurotransmitters-related areas via subcortical-cortical loops in mania and inhibited depression, finally resulting in psychomotor alterations. (shrink)

The neurotransmitters GABA and glutamate have been suggested to play a role in Major Depressive Disorder (MDD) through an imbalance between cortical inhibition and excitation. This effect has been highlighted in higher brain areas, such as the prefrontal cortex, but has also been posited in basic sensory cortices. Based on this, magnetic resonance spectroscopy (MRS) was used to investigate potential changes to GABA+ and glutamate+glutamine (Glx) concentrations within the occipital cortex in MDD patients (n = 25) and healthy controls (n (...) = 25). No difference in occipital GABA+ or Glx concentrations, nor in the GABA+/Glx ratio, was found between groups. An analysis of an extended MDD patient and unmatched control dataset (n = 90) found no correlation between metabolite concentrations and depressive symptoms. These results were integrated with prior studies through metabolite-specific meta-analyses, revealing no difference in occipital GABA and Glx concentrations between patients and controls. An effect of publication year on GABA group differences was found, suggesting that previously reported results may have been artifacts of measurement accuracy. Taken together, our results suggest that, contrary to some prior reports, MRS measurements of occipital GABA and Glx do not differ between MDD patients and controls. (shrink)

Moral education requires interdisciplinary engagement across philosophy, psychology, and education. Positive psychologists regularly acknowledge the breadth and depth of wisdom regarding the cultivation of virtues present in philosophical and religious texts and consult such writings when creating constructs, but they are less prone to integrate scientific findings with historical texts as inquiry proceeds. Thus, we provide a comparative analysis of the advice given in Lorenzo Scupoli’s The Spiritual Combat, from traditional Christian moral wisdom literature and the research findings from positive (...) psychology on the cultivation of the virtue of patience. Points of convergence relate to the utility of engaging activities that include cognitive reappraisal, habit formation through daily practice, activating positive motivation, prayer, mantra/transcendental meditation, and cultivating elevation through meditation on moral exemplars. Areas of divergence include the advisability of suppression, the role of motivation, and necessity of spiritual intervention, which suggest areas for future inquiry in moral education. (shrink)

In this paper, I seek to diagnose the sources of our dissatisfaction with answers to the question of the meaning of life. I contend that some of these have to do with the question (its polyvalence and persistent vagueness) and some have to do with life and meaningfulness themselves. By showing how dissatisfaction arises and the extent to which it is in-eliminable even by God, I hope to show that we should be satisfied with our dissatisfaction.

Background: Rumination, a tendency to focus on negative self-related thoughts, is a central symptom of depression. Studying the self-related aspect of such symptoms is challenging because of the need to distinguish self effects from the emotional content of task stimuli. This study employed an emotionally neutral self-related paradigm to investigate possible altered self-processing in depression and its link to rumination. Methods: People with major depressive disorder (n = 25) and controls (n = 25) underwent task-based electro-encephalogram recording. We studied late (...) event-related potentials, along with low-frequency oscillatory power. We compared electroencephalogram metrics between groups and correlated them with depressive symptoms and reported rumination. Results: Participants with major depressive disorder displayed a difference in late positive potentials across frontocentral electrodes between self-related and non-self-related conditions. We found no such difference in controls. The magnitude of this difference was positively correlated with depressive symptoms and reported rumination. Participants with major depressive disorder also had elevated theta oscillation power at central electrodes in self-related conditions, a finding that we did not see in controls. Limitations: Patients with major depressive disorder were medicated at the time of the study. The group studied was primarily female, so the observed effects may have been sex-specific. Conclusion: Rumination appears to be linked to altered self-related processing in depression, independent of stimuli-related emotional confounds. This connection between self-related processing and depression may point to a self disorder as a core component of depression. (shrink)

We explore new connections between the epistemologies of mental rehearsal and suppositional reasoning to offer a novel perspective on skilled behavior and its relationship to practical knowledge. We argue that practical knowledge is "easy" in the sense that, by manifesting one's skills, one has a priori propositional justification for certain beliefs about what one is doing as one does it. This proposal has wider consequences for debates about intentional action and knowledge: first, because agents sometimes act intentionally in epistemically hazardous (...) environments, these justified beliefs do not always rise to the level of (practical) knowledge. Second, practical knowledge is more intimately related to basic knowledge than has been appreciated. Third, an attractive "middle way" opens between the Anscombian tradition of defending a necessary connection between intentional action and practical knowledge and the more recent tradition of explaining away substantive epistemic conditions on intentional action. (shrink)

What we call “the evidential argument from evil” is not one argument but a family of them, originating (perhaps) in the 1979 formulation of William Rowe. Wykstra’s early versions of skeptical theism emerged in response to Rowe’s evidential arguments. But what sufficed as a response to Rowe may not suffice against later more sophisticated versions of the problem of evil—in particular, those along the lines pioneered by Paul Draper. Our chief aim here is to make an earlier version of skeptical (...) theism more responsive to the type abductive atheology pioneered by Draper. In particular, we suggest a moderate form of skeptical theism may be able to resist Draper’s abductive atheology. (shrink)

Some skeptical theists use Wykstra’s CORNEA constraint to undercut Rowe-style inductive arguments from evil. Many critics of skeptical theism accept CORNEA, but argue that Rowe-style arguments meet its constraint. But Justin McBrayer argues that CORNEA is itself mistaken. It is, he claims, akin to “sensitivity” or “truth-tracking” constraints like those of Robert Nozick; but counterexamples show that inductive evidence is often insensitive. We here defend CORNEA against McBrayer’s chief counterexample. We first clarify CORNEA, distinguishing it from a deeper underlying principle (...) that we dub “CORE.” We then give both principles a probabilistic construal, and show how, on this construal, the counterexample fails. (shrink)

I develop an account of moral perception which is able to deal well with familiar naturalistic non-realist complaints about ontological extravagance and ‘queerness’. I show how this account can also ground a cogent response to familiar objections presented by Simon Blackburn and J.L. Mackie. The familiar realist's problem about relativism, however, remains.

According to a common view, animals have moral status. Further, a standard defense of this view is the Argument from Consciousness: animals have moral status because they are conscious and can experience pain and it would be bad were they to experience pain. In a series of papers :277–291, 2015a, J Agric Environ Ethics 28:11270–1138, 2015b, J Agric Environ Ethics 30:37–54, 2017), Timothy Hsiao claims that animals do not have moral status and criticizes the Argument from Consciousness. This short (...) paper defends the Argument from Consciousness by providing two simple responses to Hsiao’s criticism. (shrink)

THERE IS WIDESPREAD AGREEMENT among historians that the writings of Robert Boyle (1697-1691) constitute a valuable archive for understanding the concerns of seventeenth-century British natural philosophers. His writings have often been seen as representing, in one fashion or another, all of the leading intellectual currents of his day. ~ There is somewhat less consensus, however, on the proper historiographic method for interpreting these writings, as well as on the specific details of the beliefs expressed in them. Studies seeking to explicate (...) Boyle's thought have been, roughly speaking, of two general sorts. On the one hand there are those studies of a broadly "intellectualist" orientation which situate his natural philosophy within the intellectual context provided by metaphysics, religion, and early modern science. In this connection his corpuscularianism has been shown to be motivated by specific epistemological, theological, as well as empirical concerns. One of the central aims of such studies has been to show that apparently discordant elements in his scientific thought are rendered coherent by referring them to such "non-scientific" commitments. Among studies of this sort might be mentioned the works of John Hedley Brooke, E. A. Burtt, Gary B. Deason, J. E. McGuire, R. Hooykaas, Robert H. Kargon, Eugene M. Klaaren, P. M. Rattansi, and Richard S. Westfall. (shrink)

Invited Commentary On: Graziano, M. S. A., Guterstam, A., Bio, B. J., Wilterson, A. I. (2019). Toward a standard model of consciousness: Reconciling the attention schema, global workspace, higher order thought, and illusionist theories. Cognitive Neuropsychology.

The lack of knowledge—as Timothy Williamson (2000) famously maintains—is ignorance. Radical sceptical arguments, at least in the tradition of Descartes, threaten universal ignorance. They do so by attempting to establish that we lack any knowledge, even if we can retain other kinds of epistemic standings, like epistemically justified belief. If understanding is a species of knowledge, then radical sceptical arguments threaten to rob us categorically of knowledge and understanding in one fell swoop by implying universal ignorance. If, however, understanding (...) is not a species of knowledge, then three questions arise: (i) is ignorance the lack of understanding, even if understanding is not a species of knowledge? (ii) If not, what kind of state of intellectual impoverishment best describes a lack of understanding? (iii) What would a radical sceptical argument look like that threatened that kind of intellectual impoverishment, even if not threatening ignorance? This paper answers each of these questions in turn. I conclude by showing how the answers developed to (i-iii) interface in an interesting way with Virtue Perspectivism as an anti-sceptical strategy. (shrink)

Anti-realism is plagued by Fitch’s paradox: the remarkable result that if one accepts that all truths are knowable, minimal assumptions about the nature of knowledge entail that every truth is known. Dorothy Edgington suggests to address this problem by understanding p is knowable to be a counterfactual claim, but her proposal must contend with a forceful objection by Timothy Williamson. I revisit Edgington’s basic idea and find that Williamson’s objection is obviated by a refined understanding of counterfactual knowability that (...) is grounded in possible courses of inquiry. I arrive at a precise definition of knowability that is not just a technical avoidance of paradox, but is metaphysically sound and does justice to the anti-realist idea. (shrink)

It is wholly uncontroversial that measurements-or, more properly, propositions that are measurement reports-are often paradigmatically good cases of propositions that serve the function of evidence. In normal cases it is also obvious that stating such a report is an utterly pedestrian case of successful assertion. So, for example, there is nothing controversial about the following claims: (1) that a proposition to the effect that a particular thermometer reads 104C when properly used to determine the temperature of a particular patient is (...) evidence that the patient in question has a fever and (2) that there is nothing wrong with asserting the proposition that a particular thermometer reads 104C for appropriate reasons of communication, etc. when the thermometer has been properly used to determine the temperature of a particular patient. Here it will be shown that Timothy Williamson’s commitments to a number of principles about knowledge and assertion imply that a whole class of utterly ordinary statements like these that are used as evidence are not really evidence because they are not knowledge and so are (perversely) unassertable according to his principled commitments. This paper deals primarily with the second of these two problems and an alternative account of the norms of assertion is introduced which allows for the assertability of such measurement reports. (shrink)

This paper critically explores Timothy Williamson’s view of evidence, and it does so in light of the problem of epistemic luck. Williamson’s view of evidence is, of course, a crucially important aspect of his novel and influential “knowledge-first” epistemological project. Notoriously, one crucial thesis of this project is that one’s evidence is equivalent to what one knows. This has come to be known as the E = K thesis. This paper specifically addresses Williamson’s knowledge-first epistemology and the E = (...) K thesis in the context of anti-luck epistemology and the idea that knowledge is factive. Williamson’s views on these matters are worth investigating in some detail because he subscribes to a well-worked out anti-luck view of knowledge that incorporates what is perhaps the most common anti-luck condition. But this paper is also of more general importance because the critique of Williamson’s views on these matters reveals some important things about the nature of evidence and evidence is one of the most fundamental concepts in epistemology. (shrink)

In this paper Timothy Williamson’s argument that the knowledge norm of assertion is the best explanation of the unassertability of Morrean sentences is challenged and an alternative account of the norm of assertion is defended.

Recently Timothy Williamson (2007) has argued that characterizations of the standard (i.e. intuition-based) philosophical practice of philosophical analysis are misguided because of the erroneous manner in which this practice has been understood. In doing so he implies that experimental critiques of the reliability of intuition are based on this misunderstanding of philosophical methodology and so have little or no bearing on actual philosophical practice or results. His main point is that the orthodox understanding of philosophical methodology is incorrect in (...) that it treats philosophical thought experiments in such a way that they can be “filled in” in various ways that undermines their use as counter-examples and that intuition plays no substantial role in philosophical practice when we properly understand that methodology as a result of the possibility of such filling in. In this paper Williamson’s claim that philosophical thought experiments cases can be legitimately filled in this way will be challenged and it will be shown that the experimental critique of the intuition-based methods involved a serious issue. (shrink)

Two objections are raised against Oliver and Smiley’s analysis of the collective–distributive opposition in their 2016 book: They take it as a basic premise that the collective reading of ‘baked a cake’ corresponds to a predicate different from its distributive reading, and the same applies to all predicate expressions that admit both a collective and a distributive interpretation. At the same time, however, they argue that inflectional forms of the same lexeme reveal a univocity that should be preserved in (...) a formal representation of English. These two assumptions sit uneasily. In developing their analysis, Oliver and Smiley come to the conclusion that even a singular predication such as ‘Tom baked a cake’ must be regarded as ambiguous between a collective and a distributive reading. This is so artificial that it hardly makes sense, and yet there seems to be no way out of the difficulty unless we are prepared to give up the basic premise just mentioned. (shrink)

According to J=K, only beliefs that qualify as knowledge are epistemically justified. Traditionalists about justification have objected to this view that it predicts that radically deceived subjects do not have justified beliefs, which they take to be counter-intuitive. In response, proponents of J=K have argued that traditionalists mistake being justified with being excused in the relevant cases. To make this response work, Timothy Williamson has offered a dispositional account of excuse which has recently been challenged by Jessica Brown. She (...) has presented cases in which Williamson’s account excuses subjects believing things in an epistemically reckless fashion. To steer clear of Brown’s counterexamples, I argue for a modification of Williamson’s account that employs a more fine-grained notion of the dispositions involved. (shrink)

This presentation includes a complete bibliography of John Corcoran’s publications devoted at least in part to Aristotle’s logic. Sections I–IV list 20 articles, 43 abstracts, 3 books, and 10 reviews. It starts with two watershed articles published in 1972: the Philosophy & Phenomenological Research article that antedates Corcoran’s Aristotle’s studies and the Journal of Symbolic Logic article first reporting his original results; it ends with works published in 2015. A few of the items are annotated with endnotes connecting them with (...) other work. In addition, Section V “Discussions” is a nearly complete secondary bibliography of works describing, interpreting, extending, improving, supporting, and criticizing Corcoran’s work: 8 items published in the 1970s, 22 in the 1980s, 39 in the 1990s, 56 in the 2000s, and 65 in the current decade. The secondary bibliography is annotated with endnotes: some simply quoting from the cited item, but several answering criticisms and identifying errors. As is evident from the Acknowledgements sections, all of Corcoran’s publications benefited from correspondence with other scholars, most notably Timothy Smiley, Michael Scanlan, and Kevin Tracy. All of Corcoran’s Greek translations were done in consultation with two or more classicists. Corcoran never published a sentence without discussing it with his colleagues and students. REQUEST: Please send errors, omissions, and suggestions. I am especially interested in citations made in non-English publications. (shrink)

JUNE 2015 UPDATE: A BIBLIOGRAPHY: JOHN CORCORAN’S PUBLICATIONS ON ARISTOTLE 1972–2015 By John Corcoran -/- This presentation includes a complete bibliography of John Corcoran’s publications relevant to his research on Aristotle’s logic. Sections I, II, III, and IV list 21 articles, 44 abstracts, 3 books, and 11 reviews. It starts with two watershed articles published in 1972: the Philosophy & Phenomenological Research article from Corcoran’s Philadelphia period that antedates his Aristotle studies and the Journal of Symbolic Logic article from his (...) Buffalo period first reporting his original results; it ends with works published in 2015. A few of the items are annotated as listed or with endnotes connecting them with other work and pointing out passages that in-retrospect are seen to be misleading and in a few places erroneous. In addition, Section V, “Discussions”, is a nearly complete secondary bibliography of works describing, interpreting, extending, improving, supporting, and criticizing Corcoran’s work: 8 items published in the 1970s, 23 in the 1980s, 42 in the 1990s, 56 in the 2000s, and 69 in the current decade. The secondary bibliography is also annotated as listed or with endnotes: some simply quoting from the cited item, but several answering criticisms and identifying errors. Section VI, “Alternatives”, lists recent works on Aristotle’s logic oblivious of Corcoran’s research and, more generally, of the Lukasiewicz-initiated tradition. As is evident from Section VII, “Acknowledgements”, Corcoran’s publications benefited from consultation with other scholars, most notably Timothy Smiley, Michael Scanlan, Roberto Torretti, and Kevin Tracy. All of Corcoran’s Greek translations were done in collaboration with two or more classicists. Corcoran never published a sentence without discussing it with his colleagues and students. -/- REQUEST: Please send errors, omissions, and suggestions. I am especially interested in citations made in non-English publications. Also, let me know of passages I should comment on. (shrink)

This presentation of Aristotle's natural deduction system supplements earlier presentations and gives more historical evidence. Some fine-tunings resulted from conversations with Timothy Smiley, Charles Kahn, Josiah Gould, John Kearns,John Glanvillle, and William Parry.The criticism of Aristotle's theory of propositions found at the end of this 1974 presentation was retracted in Corcoran's 2009 HPL article "Aristotle's demonstrative logic".

This presentation includes a complete bibliography of John Corcoran’s publications relevant on Aristotle’s logic. The Sections I, II, III, and IV list respectively 23 articles, 44 abstracts, 3 books, and 11 reviews. Section I starts with two watershed articles published in 1972: the Philosophy & Phenomenological Research article—from Corcoran’s Philadelphia period that antedates his discovery of Aristotle’s natural deduction system—and the Journal of Symbolic Logic article—from his Buffalo period first reporting his original results. It ends with works published in 2015. (...) Some items are annotated as listed or with endnotes connecting them with other work and pointing out passages that, in retrospect, are seen to be misleading and in a few places erroneous. In addition, Section V, “Discussions”, is a nearly complete secondary bibliography of works describing, interpreting, extending, improving, supporting, and criticizing Corcoran’s work: 10 items published in the 1970s, 24 in the 1980s, 42 in the 1990s, 60 in the 2000s, and 70 in the current decade. The secondary bibliography is also annotated as listed or with endnotes: some simply quoting from the cited item, but several answering criticisms and identifying errors. Section VI, “Alternatives”, lists recent works on Aristotle’s logic oblivious of Corcoran’s research and, more generally in some cases, even of the Łukasiewicz-initiated tradition. As is evident from Section VII, “Acknowledgements”, Corcoran’s publications benefited from consultation with other scholars, most notably George Boger, Charles Kahn, John Mulhern, Mary Mulhern, Anthony Preus, Timothy Smiley, Michael Scanlan, Roberto Torretti, and Kevin Tracy. All of Corcoran’s Greek translations were done in collaboration with two or more classicists. Corcoran never published a sentence without discussing it with his colleagues and students. (shrink)

This interesting and imaginative monograph is based on the author’s PhD dissertation supervised by Saul Kripke. It is dedicated to Timothy Smiley, whose interpretation of PRIOR ANALYTICS informs its approach. As suggested by its title, this short work demonstrates conclusively that Aristotle’s syllogistic is a suitable vehicle for fruitful discussion of contemporary issues in logical theory. Aristotle’s syllogistic is represented by Corcoran’s 1972 reconstruction. The review studies Lear’s treatment of Aristotle’s logic, his appreciation of the Corcoran-Smiley paradigm, (...) and his understanding of modern logical theory. In the process Corcoran and Scanlan present new, previously unpublished results. Corcoran regards this review as an important contribution to contemporary study of PRIOR ANALYTICS: both the book and the review deserve to be better known. (shrink)

"Understanding Scientific Progress constitutes a potentially enormous and revolutionary advancement in philosophy of science. It deserves to be read and studied by everyone with any interest in or connection with physics or the theory of science. Maxwell cites the work of Hume, Kant, J.S. Mill, Ludwig Bolzmann, Pierre Duhem, Einstein, Henri Poincaré, C.S. Peirce, Whitehead, Russell, Carnap, A.J. Ayer, Karl Popper, Thomas Kuhn, Imre Lakatos, Paul Feyerabend, Nelson Goodman, Bas van Fraassen, and numerous others. He lauds Popper for advancing beyond (...) verificationism and Hume’s problem of induction, but faults both Kuhn and Popper for being unable to show that and how their work could lead nearer to the truth." —Dr. LLOYD EBY teaches philosophy at The George Washington University and The Catholic University of America, in Washington, DC "Maxwell's aim-oriented empiricism is in my opinion a very significant contribution to the philosophy of science. I hope that it will be widely discussed and debated." – ALAN SOKAL, Professor of Physics, New York University "Maxwell takes up the philosophical challenge of how natural science makes progress and provides a superb treatment of the problem in terms of the contrast between traditional conceptions and his own scientifically-informed theory—aim-oriented empiricism. This clear and rigorously-argued work deserves the attention of scientists and philosophers alike, especially those who believe that it is the accumulation of knowledge and technology that answers the question."—LEEMON McHENRY, California State University, Northridge "Maxwell has distilled the finest essence of the scientific enterprise. Science is about making the world a better place. Sometimes science loses its way. The future depends on scientists doing the right things for the right reasons. Maxwell's Aim-Oriented Empiricism is a map to put science back on the right track."—TIMOTHY McGETTIGAN, Professor of Sociology, Colorado State University - Pueblo "Maxwell has a great deal to offer with these important ideas, and deserves to be much more widely recognised than he is. Readers with a background in philosophy of science will appreciate the rigour and thoroughness of his argument, while more general readers will find his aim-oriented rationality a promising way forward in terms of a future sustainable and wise social order."—David Lorimer, Paradigm Explorer, 2017/2 "This is a book about the very core problems of the philosophy of science. The idea of replacing Standard Empiricism with Aim-Oriented Empiricism is understood by Maxwell as the key to the solution of these central problems. Maxwell handles his main tool masterfully, producing a fascinating and important reading to his colleagues in the field. However, Nicholas Maxwell is much more than just a philosopher of science. In the closing part of the book he lets the reader know about his deep concern and possible solutions of the biggest problems humanity is facing."—Professor PEETER MŰŰREPP, Tallinn University of Technology, Estonia “For many years, Maxwell has been arguing that fundamental philosophical problems about scientific progress, especially the problem of induction, cannot be solved granted standard empiricism (SE), a doctrine which, he thinks, most scientists and philosophers of science take for granted. A key tenet of SE is that no permanent thesis about the world can be accepted as a part of scientific knowledge independent of evidence. For a number of reasons, Maxwell argues, we need to adopt a rather different conception of science which he calls aim-oriented empiricism (AOE). This holds that we need to construe physics as accepting, as a part of theoretical scientific knowledge, a hierarchy of metaphysical theses about the comprehensibility and knowability of the universe, which become increasingly insubstantial as we go up the hierarchy. In his book “Understanding Scientific Progress: Aim-Oriented Empiricism”, Maxwell gives a concise and excellent illustration of this view and the arguments supporting it… Maxwell’s book is a potentially important contribution to our understanding of scientific progress and philosophy of science more generally. Maybe it is the time for scientists and philosophers to acknowledge that science has to make metaphysical assumptions concerning the knowability and comprehensibility of the universe. Fundamental philosophical problems about scientific progress, which cannot be solved granted SE, may be solved granted AOE.” Professor SHAN GAO, Shanxi University, China . (shrink)

In the present article we attempt to show that Aristotle's syllogistic is an underlying logiC which includes a natural deductive system and that it isn't an axiomatic theory as had previously been thought. We construct a mathematical model which reflects certain structural aspects of Aristotle's logic. We examine the relation of the model to the system of logic envisaged in scattered parts of Prior and Posterior Analytics. Our interpretation restores Aristotle's reputation as a logician of consummate imagination and skill. Several (...) attributions of shortcomings and logical errors to Aristotle are shown to be without merit. Aristotle's logic is found to be self-sufficient in several senses: his theory of deduction is logically sound in every detail. (His indirect deductions have been criticized, but incorrectly on our account.) Aristotle's logic presupposes no other logical concepts, not even those of propositional logic. The Aristotelian system is seen to be complete in the sense that every valid argument expressible in his system admits of a deduction within his deductive system: every semantically valid argument is deducible. (shrink)

Are science and religion compatible when it comes to understanding cosmology (the origin of the universe), biology (the origin of life and of the human species), ethics, and the human mind (minds, brains, souls, and free will)? Do science and religion occupy non-overlapping magisteria? Is Intelligent Design a scientific theory? How do the various faith traditions view the relationship between science and religion? What, if any, are the limits of scientific explanation? What are the most important open questions, problems, or (...) challenges confronting the relationship between science and religion, and what are the prospects for progress? These and other questions are explored in Science and Religion: 5 Questions--a collection of thirty-three interviews based on 5 questions presented to some of the world's most influential and prominent philosophers, scientists, theologians, apologists, and atheists. Contributions by Simon Blackburn, Susan Blackmore, Sean Carroll, William Lane Craig, William Dembski, Daniel C. Dennett, George F.R. Ellis, Owen Flanagan, Owen Gingerich, Rebecca Newberger Goldstein, John F. Haught, Muzaffar Iqbal, Lawrence Krauss, Colin McGinn, Alister McGrath, Mary Midgley, Seyyed Hossein Nasr, Timothy O'Connor, Massimo Pigliucci, John Polkinghorne, James Randi, Alex Rosenberg, Michael Ruse, Robert John Russell, John Searle, Michael Shermer, Victor J. Stenger, Robert Thurman, Michael Tooley, Charles Townes, Peter van Inwagen, Keith Ward, Rabbi David Wolpe. (shrink)

Karl Marx, Emile Durkheim, Leslie White, Allen Johnson and Timothy Earle, and Stephen Sanderson all produced some of the more interesting theories of history, social change and cultural evolution but their theories have a common deficiency. None of them provide an ultimate explanation for social, cultural and historical change. This failure was rectified by J. S. Mill who suggested increasing human knowledge was the ultimate cause of social, cultural and historical change. However even Mill did not ask what caused (...) the increasing human knowledge and why the knowledge had to be acquired in a particular order and how this could affect human history. (shrink)

This paper discusses the Uniqueness Thesis, a core thesis in the epistemology of disagreement. After presenting uniqueness and clarifying relevant terms, a novel counterexample to the thesis will be introduced. This counterexample involves logical disagreement. Several objections to the counterexample are then considered, and it is argued that the best responses to the counterexample all undermine the initial motivation for uniqueness.

Many philosophers have thought that our folk, or pre-reflective, view of persistence is one on which objects endure. This assumption not only plays a role in disputes about the nature of persistence itself, but is also put to use in several other areas of metaphysics, including debates about the nature of change and temporal passage. In this paper, we empirically test three broad claims. First, that most people (i.e. most non-philosophers) believe that, and it seems to them as though, objects (...) persist by enduring rather than perduring. Second, that most people have a view of change on which enduring but not perduring objects count as changing. Third, that one reason why the folk represent time as dynamical is because it seems to them, and they believe that, they endure through time. We found no evidence to support these claims. While there are certainly plenty of ‘folk’ endurantists in the population we tested, there are also plenty of ‘folk’ perdurantists. We did not find robust evidence that a majority of people believed that, or it seemed to them as though, objects endure rather than perdure. We conclude that many arguments in favour of endurantism that appeal to folk beliefs about, or experiences of, persisting objects and change rest on views about those beliefs and experiences that are empirically unsupported. There is no evidence to suggest that endurantism is the folk friendly view of persistence, and so we should stop treating it as such without argument. (shrink)

A key question in the philosophy of logic is how we have epistemic justification for claims about logical entailment (assuming we have such justification at all). Justification holism asserts that claims of logical entailment can only be justified in the context of an entire logical theory, e.g., classical, intuitionistic, paraconsistent, paracomplete etc. According to holism, claims of logical entailment cannot be atomistically justified as isolated statements, independently of theory choice. At present there is a developing interest in—and endorsement of—justification holism (...) due to the revival of an abductivist approach to the epistemology of logic. This paper presents an argument against holism by establishing a foundational entailment-sentence of deduction which is justified independently of theory choice and outside the context of a whole logical theory. (shrink)

This paper aims at helping trainees to overcome the difficulties they face when dealing with Arduino platform by describing the design of a desktop based intelligent tutoring system. The main idea of this system is a systematic introduction into the concept of Arduino platform. The system shows the circuit boards of Arduino that can be purchased at low cost or assembled from freely-available plans; and an open-source development environment and library for writing code to control the board topic of Arduino (...) platform. The system is adaptive with the trainee’s individual progress. The system functions as a special tutor who deals with trainees according to their levels and skills. Evaluation of the system has been applied on professional and unprofessional trainees in this field and the results were good. (shrink)

Chapter 1: "Reason for Hope " by Michael J. Murray Chapter 2: "Theistic Arguments" by William C. Davis Chapter 3: "A Scientific Argument for the Existence of God: The Fine- Tuning Design Argument" by Robin Collins Chapter 4: "God, Evil and Suffering" by Daniel Howard Snyder Chapter 5: "Arguments for Atheism" by John O'Leary Hawthorne Chapter 6: "Faith and Reason" by Caleb Miller Chapter 7: "Religious Pluralism" by Timothy O'Connor Chapter 8: "Eastern Religions" by Robin Collins Chapter 9: "Divine (...) Providence and Human Freedom" by Scott A. Davison Chapter 10: "The Incarnation and the Trinity" by Thomas D. Senor Chapter 11: "The Resurrection of the Body and the Life Everlasting" by Trenton Merricks Chapter 12: "Heaven and Hell" by Michael J. Murray Chapter 13: "Religion and Science" by W. Christopher Stewart Chapter 14: "Miracles and Christian Theism" by J. A. Cover Chapter 15: "Christianity and Ethics" by Frances Howard-Snyder Chapter 16: "The Authority of Scripture" by Douglas Blount. (shrink)

Philosophical accounts denying that temporal passage is an objective feature of reality face an explanatory challenge with respect to why it appears to us as though time passes. Recently, two solutions have surfaced. Cognitive illusionism claims that people experience the passage of time due to their belief that time passes. Cognitive error theory claims that we do not experience the passage of time, but hold the belief that we do, which we have acquired through making an inference from the prior (...) belief that time passes. These approaches suppose that belief and passage experience are explanatorily connected, and they depend on the claims that people who experience the passage of time or at least believe that they do also believe that time passes. To test these claims, we probed the beliefs of populations of individuals with depression and schizotypy, thus conditions that are strongly associated with alterations in temporal phenomenology. Depression was assessed with the Beck Depression Inventory (BDI) and schizotypy with the short Oxford-Liverpool Inventory of Feelings and Experiences (O-LIFE). While cognitive illusionism and inferentialist cognitive error theory would predict a strong association between BDI and O-LIFE scores and beliefs about time passage, our study found no such association. The experience of passage does not seem to be explanatorily connected to beliefs about the passage of time. (shrink)

As there is currently a neo-Aristotelian revival currently taking place within contemporary metaphysics and dispositions, or causal powers are now being routinely utilised in theories of causality and modality, more attention is beginning to be paid to a central Aristotelian concern: the metaphysics of substantial unity, and the doctrine of hylomorphism. In this paper, I distinguish two strands of hylomorphism present in the contemporary literature and argue that not only does each engender unique conceptual difficulties, but neither adequately captures the (...) metaphysics of Aristotelian hylomorphism. Thus both strands of contemporary hylomorphism, I argue, fundamentally misunderstand what substantial unity amounts to in the hylomorphic framework – namely, the metaphysical inseparability of matter and form. (shrink)

This article argues that if panpsychism is true, then there are grounds for thinking that digitally-based artificial intelligence may be incapable of having coherent macrophenomenal conscious experiences. Section 1 briefly surveys research indicating that neural function and phenomenal consciousness may be both analog in nature. We show that physical and phenomenal magnitudes—such as rates of neural firing and the phenomenally experienced loudness of sounds—appear to covary monotonically with the physical stimuli they represent, forming the basis for an analog relationship between (...) the three. Section 2 then argues that if this is true and micropsychism—the panpsychist view that phenomenal consciousness or its precursors exist at a microphysical level of reality—is also true, then human brains must somehow manipulate fundamental microphysical-phenomenal magnitudes in an analog manner that renders them phenomenally coherent at a macro level. However, Sect. 3 argues that because digital computation abstracts away from microphysical-phenomenal magnitudes—representing cognitive functions non-monotonically in terms of digits—digital computation may be inherently incapable of realizing coherent macroconscious experience. Thus, if panpsychism is true, digital AI may be incapable of achieving phenomenal coherence. Finally, Sect. 4 briefly examines our argument’s implications for Tononi’s Integrated Information Theory theory of consciousness, which we contend may need to be supplanted by a theory of macroconsciousness as analog microphysical-phenomenal information integration. (shrink)

This chapter defends the account of metaphysical indeterminacy of Barnes and Williams against Eklund's objections.

The cucumber is a creeping vine that roots in the ground and grows up trellises or other supporting frames, wrapping around supports with thin, spiraling tendrils. The plant may also root in a soilless medium, whereby it will sprawl along the ground in lieu of a supporting structure. The vine has large leaves that form a canopy over the fruits. Among these common diseases, we single out the diseases that affect the cucumber, which is affected by about 22 diseases, with (...) different symptoms for each disease. Today, technology is facilitating human life in all areas of life, and among these facilities are expert systems that have become an integral part of human life as they contain several systems and areas, for example: Artificial Intelligence (AI), which refers to systems or devices that simulate Human intelligence to perform tasks that can improve itself based on some human information, and other areas, and with reference to expert systems and their importance to humans, an integrated expert system has been created in the agricultural field that diagnoses cucumber diseases using CLIPS Expert System language Delphi language. The system was used to design and implement the proposed expert system. The system facilitates the diagnosis of cucumber-related diseases. There is no doubt that this expert system will help farmers and those involved in the agricultural field to diagnose cucumber-related diseases. Objectives: is to help farmers diagnose pear diseases in the correct way and how to treat these diseases. Method: The system contains a program that diagnoses 22 diseases that affect cucumber. Results: The expert system was evaluated by farmers and praised for helping them with it. Conclusion: The expert system for diagnosing cucumber diseases is effective and usable. (shrink)

Although they are continually compositionally reconstituted and reconfigured, organisms nonetheless persist as ontologically unified beings over time – but in virtue of what? A common answer is: in virtue of their continued possession of the capacity for morphological invariance which persists through, and in spite of, their mereological alteration. While we acknowledge that organisms‟ capacity for the “stability of form” – homeostasis - is an important aspect of their diachronic unity, we argue that this capacity is derived from, and grounded (...) in a more primitive one – namely, the homeodynamic capacity for the “specified variation of form”. In introducing a novel type of causal power – a „structural power‟ – we claim that it is the persistence of their dynamic potential to produce a specified series of structurally adaptive morphologies which grounds organisms‟ privileged status as metaphysically “one over many” over time. (shrink)

In this paper, I discuss whether different interpretations of the ‘aim’ of belief—both the teleological and normative interpretations—have the resources to explain certain descriptive and normative features of suspended belief (suspension). I argue that, despite the recent efforts of theorists to extend these theories to account for suspension, they ultimately fail. The implication is that we must either develop alternative theories of belief that can account for suspension, or we must abandon the assumption that these theories ought to be able (...) to account for suspension. To close, I briefly consider some of the reasons we have in favour of pursing each of these options, and I suggest that it is worth exploring the possibility that suspension is best understood as its own attitude, independently of theories of belief’s ‘aim’. (shrink)

According to contemporary ‘process ontology’, organisms are best conceptualised as spatio-temporally extended entities whose mereological composition is fundamentally contingent and whose essence consists in changeability. In contrast to the Aristotelian precepts of classical ‘substance ontology’, from the four-dimensional perspective of this framework, the identity of an organism is grounded not in certain collections of privileged properties, or features which it could not fail to possess, but in the succession of diachronic relations by which it persists, or ‘perdures’ as one entity (...) over time. In this paper, I offer a novel defence of substance ontology by arguing that the coherency and plausibility of the radical reconceptualisation of organisms proffered by process ontology ultimately depends upon its making use of the ‘substantial’ principles it purports to replace. (shrink)

While the epistemic significance of disagreement has been a popular topic in epistemology for at least a decade, little attention has been paid to logical disagreement. This monograph is meant as a remedy. The text starts with an extensive literature review of the epistemology of (peer) disagreement and sets the stage for an epistemological study of logical disagreement. The guiding thread for the rest of the work is then three distinct readings of the ambiguous term ‘logical disagreement’. Chapters 1 and (...) 2 focus on the Ad Hoc Reading according to which logical disagreements occur when two subjects take incompatible doxastic attitudes toward a specific proposition in or about logic. Chapter 2 presents a new counterexample to the widely discussed Uniqueness Thesis. Chapters 3 and 4 focus on the Theory Choice Reading of ‘logical disagreement’. According to this interpretation, logical disagreements occur at the level of entire logical theories rather than individual entailment-claims. Chapter 4 concerns a key question from the philosophy of logic, viz., how we have epistemic justification for claims about logical consequence. In Chapters 5 and 6 we turn to the Akrasia Reading. On this reading, logical disagreements occur when there is a mismatch between the deductive strength of one’s background logic and the logical theory one prefers (officially). Chapter 6 introduces logical akrasia by analogy to epistemic akrasia and presents a novel dilemma. Chapter 7 revisits the epistemology of peer disagreement and argues that the epistemic significance of central principles from the literature are at best deflated in the context of logical disagreement. The chapter also develops a simple formal model of deep disagreement in Default Logic, relating this to our general discussion of logical disagreement. The monograph ends in an epilogue with some reflections on the potential epistemic significance of convergence in logical theorizing. (shrink)

We explain and explore class-theoretic potentialism—the view that one can always individuate more classes over a set-theoretic universe. We examine some motivations for class-theoretic potentialism, before proving some results concerning the relevant potentialist systems (in particular exhibiting failures of the $\mathsf {.2}$ and $\mathsf {.3}$ axioms). We then discuss the significance of these results for the different kinds of class-theoretic potentialists.

Although contemporary metaphysics has recently undergone a neo-Aristotelian revival wherein dispositions, or capacities are now commonplace in empirically grounded ontologies, being routinely utilised in theories of causality and modality, a central Aristotelian concept has yet to be given serious attention – the doctrine of hylomorphism. The reason for this is clear: while the Aristotelian ontological distinction between actuality and potentiality has proven to be a fruitful conceptual framework with which to model the operation of the natural world, the distinction between (...) form and matter has yet to similarly earn its keep. In this chapter, I offer a first step toward showing that the hylomorphic framework is up to that task. To do so, I return to the birthplace of that doctrine - the biological realm. Utilising recent advances in developmental biology, I argue that the hylomorphic framework is an empirically adequate and conceptually rich explanatory schema with which to model the nature of organisms. (shrink)